$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. loc($e$) $=$ loc(${\it e'}$) $\in$ Id $\Rightarrow$ (${\it e'}$ $<$loc $e$) $\Rightarrow$ ([$e$, ${\it e'}$] $\sim$ nil)